Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
921	Noname manuscript No. (will be inserted by the editor) Varieties of Intensification Remarks on Beltrama and Bochnak ‘Intensification without degrees cross-linguistically’ Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-09-30 10:05:34 Semantics Formal languages Philosophical logic Parts of speech Quantification Predicate Interpretation Intensifier Modal logic Logic Linguistics Grammar
922	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
923	P RESUPPOSITION S ATISFACTION IN A˚TTITUDE C ONTEXTS AND M ODAL S UBORDINATION YASUTADA S UDO University College London D RAFT #2, AUGUST 7, 2014 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-08-07 09:30:11 Philosophical logic Logical syntax Propositional calculus Presupposition Interpretation Modal logic Proposition Entailment Robert Stalnaker Logic Semantics Philosophy of language
924	Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-16 04:32:08 Model theory Logic in computer science Non-classical logic Mathematical constructivism Philosophy of mathematics Intuitionistic logic Kripke semantics Denotational semantics Propositional calculus Logic Mathematical logic Mathematics
925	2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:50:55 Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory
926	6JSC/ALA/25/LC response September 27, 2013 Page 1 of 4 To: Joint Steering Committee for Development of RDA Add to Reading List Source URL: www.rda-jsc.org Language: English - Date: 2013-10-01 01:12:16 Philosophy of language Meaning Semantics Social psychology Definition Lexicography Leadership Linguistics Logic Analytic philosophy
927	Presupposition Projection in Quantified Sentences and Cross-Dimensional Anaphora˚ Yasutada Sudo [removed] April 7, 2014 1 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-04-10 16:27:31 Philosophy of language Pragmatics Quantification Semiotics Donkey pronoun Presupposition Anaphora Definite description First-order logic Linguistics Logic Semantics
928	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
929	Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:26:21 Data types Lisp programming language Functional programming Logic in computer science Procedural programming languages List Cons Operational semantics Semantics Software engineering Computing Programming language theory
930	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science

UPDATE